Separating the Degree Spectra of Structures Tyler John Markkanen, Ph.D. University of Connecticut, 2009 In computable model theory, mathematical structures are studied on the basis of

Source URL: www.math.uconn.edu

• Computability theory
• Model theory
• Logic
• Mathematics
• Theory of computation
• Alan Turing
• Constructivism
• Philosophy of mathematics
• Computable model theory
• Turing degree
• Enumeration
• Mathematical logic

Under consideration for publication in Math. Struct. in Comp. Science Formalization of Real Analysis: A Survey of Proof Assistants and Libraries∗ SYLVIE BOLDO CATHERINE LELAY

Source URL: www.lri.fr

• Proof assistants
• Real numbers
• Automated theorem proving
• Elementary mathematics
• Type theory
• First-order logic
• Construction of the real numbers
• Constructivism
• Mathematical logic
• Isabelle
• Axiom
• Setoid

Applications of Proof Interpretations Philipp Gerhardy PhD Dissertation

Source URL: www.mathematik.tu-darmstadt.de

• Logic
• Mathematics
• Abstraction
• Model theory
• Mathematical logic
• Proof theory
• Constructivism
• Jacques Herbrand
• Proof mining
• Term algebra
• First-order logic
• Fixed-point theorem

BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample Interpretation

Source URL: www.mathematik.tu-darmstadt.de

• Mathematical logic
• Logic
• Proof theory
• Computability theory
• Mathematics
• Constructivism
• Primitive recursive functional
• First-order logic
• Symbol
• Primitive recursive function
• Primitive recursive arithmetic
• Realizability

A review of the Curry-Howard-De Bruijn formulas-as-types interpretation Herman Geuvers Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen The Netherlands

Source URL: www.cs.ru.nl

• Mathematics
• Philosophy of mathematics
• Logic
• Philosophy
• Mathematical logic
• Epistemology
• Formal sciences
• Constructivism
• Foundations of mathematics
• Intuitionism
• Finitary
• Formalism

International Journal of Education and Research Vol. 3 No. 2 February 2015 Mathematical Power’s Description of Students in Grade 4th Based on The Theory of Constructivism

Source URL: www.ijern.com

A SELECTION THEORY FOR MULTIPLE-VALUED FUNCTIONS IN THE SENSE OF ALMGREN JORDAN GOBLET Abstract. A Qk (Rn )-valued function is essentially a rule assigning k unordered and non necessarily distinct elements of Rn to each

Source URL: www.uclouvain.be

• Calculus
• Approximation theory
• Mathematical constructivism
• Modulus of continuity
• Continuous function
• Arzelà–Ascoli theorem
• Mathematical analysis
• Mathematics
• Fourier analysis

Constructive Mathematics and Functional Programming Thierry Coquand Budapest, April 1, 2008 Constructive Mathematics and Functional Programming

Source URL: www.cse.chalmers.se

• Mathematical logic
• Intuitionism
• Epistemology
• Philosophy of mathematics
• Logic in computer science
• Constructivism
• Constructive proof
• Constructive analysis
• Intuitionistic logic
• Mathematics
• Mathematical constructivism
• Logic

Type Theory and Constructive Mathematics Thierry Coquand Function, Proofs, Constructions, February 21, 2014 Type Theory and Constructive Mathematics

Source URL: www.cse.chalmers.se

• Mathematical logic
• Mathematical constructivism
• Constructivism
• Type theory
• Mathematical proof
• Function
• Constructive proof
• Constructive set theory
• Mathematics
• Epistemology
• Logic

Type Theory and Univalent Foundation Thierry Coquand (j.w.w. M. Bezem and S. Huber) Royal Society meeting, November 26, 2013 Type Theory and Univalent Foundation

Source URL: www.cse.chalmers.se

• Type theory
• Dependently typed programming
• Logic in computer science
• Proof theory
• Mathematical constructivism
• Function
• Intuitionistic type theory
• Axiom of choice
• Constructible universe
• Mathematical logic
• Mathematics
• Logic